Na tragu Baciccia u Dubrovniku: slike Krist na križu prigrljuje sv. Bernarda u crkvi sv. Josipa i Čudesna laktacija sv. Bernarda u crkvi sv. Vlaha
نویسندگان
چکیده
منابع مشابه
Sv-rings and Sv-porings
SV-rings are commutative rings whose factor rings modulo prime ideals are valuation rings. SV-rings occur most naturally in connection with partially ordered rings (= porings) and have been studied only in this context so far. The present note first develops the theory of SV-rings systematically, without assuming the presence of a partial order. Particular attention is paid to the question of a...
متن کاملPreference Queries with SV-Semantics
Personalization of database queries requires a semantically rich, easy to handle and flexible preference model. Building on preferences as strict partial orders we provide a variety of intuitive base preference constructors for numerical and categorical data, including so-called d-parameters. As a novel semantic concept for complex preferences we introduce the notion of ‘substitutable values’ (...
متن کاملa SV DISPLAYS ON DISPLAY
This realistic yet fantastical image of the new Boeing 767jet airliner was produced by Digital Effects, Inc., as part of a computer graphics animated television commercial for All Nippon Airways in Japan. Animator Alan Green obtained the CAD/CAM database for the 707, which, incidentally, is the first commercial airliner designed entirely on a computer, and entered the database into Digital's IB...
متن کاملUloga Laika U Crkvi Prema Ii. Vatikanskom Saboru
Za Justina laòs je narod novog saveza.2 Latinski prijevod poslanice K lementa Rimskog Korinćanima, iz prvog dijela 2. st. prevodi izraz laikòs s plebeius (narodni), tj. onaj koji pripada kršćanskom narodu. Kod Tertulijana i Ciprijana izraz plebs ima smisao naroda Božjega.3 I u rječniku N. zavjeta laik je određen prema pripadnosti kršćanskoj zajednici. Nig dje u N. zavjetu nema određenja riječi...
متن کاملCompetition on Software Verification - (SV-COMP)
This report describes the definitions, rules, setup, procedure, and results of the 1st International Competition on Software Verification. The verification community has performed competitions in various areas in the past, and SV-COMP’12 is the first competition of verification tools that take software programs as input and run a fully automatic verification of a given safety property. This yea...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Peristil
سال: 2018
ISSN: 0553-6707,1849-6547
DOI: 10.17685/peristil.61.2